Type-Directed Partial Evaluation
نویسندگان
چکیده
منابع مشابه
On Type-Directed Partial Evaluation
Type Directed Partial Evaluation (TDPE) is a new development in partial evaluation that has two properties that make it attractive for formal investigation: First, it is concise; it is deened in about six lines Dan96b]. Second, it is easy to implement; the deenition can be coded directly in a functional language like Scheme, yielding a demonstrably eecient and eeective partial evaluator DV96, V...
متن کاملOnline Type-Directed Partial Evaluation
syntax rewriting (macros): The idea is as old as programming languages. Macros were fraught with name-capture peril until the advent of hygienic macro-expansion [30]. Our domain-speci c language over residual abstract syntax follows the lead of Chez Scheme's syntactic extensions [24], namely, it uses pattern matching, fenders (i.e., guards), and with-expressions. Let insertion: Mogensen suggest...
متن کاملPragmatics of Type-Directed Partial Evaluation
Type directed partial evaluation stems from the residualiz ation of arbitrary static values in dynamic contexts given their type Its algorithm coincides with the one for coercing a subtype value into a supertype value which itself coincides with the one of normalization in the calculus Type directed partial evaluation is thus used to specialize compiled closed programs given their type Since Si...
متن کاملPragmatic Aspects of Type-Directed Partial Evaluation
Type-directed partial evaluation stems from the residualization of static values in dynamic contexts, given their type and the type of their free variables. Its algorithm coincides with the algorithm for coercing a subtype value into a supertype value, which itself coincides with Berger and Schwichtenberg’s normalization algorithm for the simply typed λ-calculus. Type-directed partial evaluatio...
متن کاملMemoization in Type-Directed Partial Evaluation
We use a code generator—type-directed partial evaluation— to verify conversions between isomorphic types, or more precisely to verify that a composite function is the identity function at some complicated type. A typed functional language such as ML provides a natural support to express the functions and type-directed partial evaluation provides a convenient setting to obtain the normal form of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DAIMI Report Series
سال: 1995
ISSN: 2245-9316,0105-8517
DOI: 10.7146/dpb.v24i494.7022